Sistla, Prasad: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Stop word and related problems in web interface integration

Dragut, Eduard, Fang, Fang, Sistla, Prasad, Yu, Clement, Meng, Weiyi

Journal:

Proceedings of the VLDB Endowment

Year:

2009

Language:

english

File:

PDF, 1.31 MB

english, 2009

2

Updating and Querying Databases that Track Mobile Units

Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Yelena Yesha

Journal:

Distributed and Parallel Databases

Year:

1999

Language:

english

File:

PDF, 243 KB

english, 1999

3

Reasoning about Qualitative Spatial Relationships

A. Prasad Sistla, Clement Yu

Journal:

Journal of Automated Reasoning

Year:

2000

Language:

english

File:

PDF, 252 KB

english, 2000

4

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - On the Expressiveness and Complexity of Randomization in Finite State Monitors

Chadha, Rohit, Sistla, A. Prasad, Viswanthan, Mahesh

Year:

2008

Language:

english

File:

PDF, 334 KB

english, 2008

5

Polarity Consistency Checking for Domain Independent Sentiment Dictionaries

Dragut, Eduard C., Wang, Hong, Sistla, Prasad, Yu, Clement, Meng, Weiyi

Journal:

IEEE Transactions on Knowledge and Data Engineering

Year:

2015

Language:

english

File:

PDF, 416 KB

english, 2015

6

Methyl angolensate and mexicanolide-type limonoids from the seeds of Cipadessa baccifera

Siva, Bandi, Poornima, B., Venkanna, A., Prasad, K. Rajendra, Sridhar, B., Lakshma Nayak, V., Ramakrishna, Sistla, Babu, K. Suresh

Journal:

Year:

2014

Language:

english

File:

PDF, 1.04 MB

english, 2014

7

Decidable and expressive classes of probabilistic automata

Ben, Yue, Chadha, Rohit, Prasad Sistla, A., Viswanathan, Mahesh

Journal:

Journal of Computer and System Sciences

Year:

2018

Language:

english

File:

PDF, 958 KB

english, 2018

8

Exact quantitative probabilistic model checking through rational search

Mathur, Umang, Bauer, Matthew S., Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Journal:

Formal Methods in System Design

Year:

2020

File:

PDF, 658 KB

2020

9

Piperlongumine, an alkaloid causes inhibition of PI3

Shrivastava, Shweta, Kulkarni, Prasad, Thummuri, Dinesh, Jeengar, Manish Kumar, Naidu, V. G. M., Alvala, Mallika, Redddy, G. Bhanuprakash, Ramakrishna, Sistla

Journal:

Year:

2014

Language:

english

File:

PDF, 10.41 MB

english, 2014

10

[IEEE 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Tucson, AZ, USA (1983.11.7-1983.11.9)] 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Reasoning about infinite computation paths

Wolper, Pierre, Vardi, Moshe Y., Sistla, A. Prasad

Year:

1983

Language:

english

File:

PDF, 1.21 MB

english, 1983

11

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1855 || Model Checking Continuous-Time Markov Chains by Transient Analysis

Emerson, E. Allen, Sistla, Aravinda Prasad

Year:

2000

Language:

english

File:

PDF, 260 KB

english, 2000

12

[ACM Press the fifth ACM international workshop - San Francisco, California, USA (2008.09.15-2008.09.15)] Proceedings of the fifth ACM international workshop on VehiculAr Inter-NETworking - VANET '08 - Theoretical analysis of a directional stability-based clustering algorithm for vanets

Fan, Peng, Sistla, Prasad, Nelson, Peter

Year:

2008

Language:

english

File:

PDF, 165 KB

english, 2008

13

Electrophilicity of Pyridazine-3-carbonitrile, Pyrimidine-2-carbonitrile, and Pyridine-carbonitrile Derivatives: A Chemical Model To Describe the Formation of Thiazoline Derivatives in Human Liver Microsomes

Sinha, Sarmistha, Ahire, Deepak, Wagh, Santosh, Mullick, Dibakar, Sistla, Ramesh, Selvakumar, Kumaravel, Cortes, Janet Caceres, Putlur, Siva Prasad, Mandlekar, Sandhya, Johnson, Benjamin M.

Journal:

Chemical Research in Toxicology

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

14

[ACM Press the 4th ACM conference - San Antonio, Texas, USA (2014.03.03-2014.03.05)] Proceedings of the 4th ACM conference on Data and application security and privacy - CODASPY '14 - Minimizing lifetime of sensitive data in concurrent programs

Gondi, Kalpana, Sistla, A. Prasad, Venkatakrishnan, V. N.

Year:

2014

Language:

english

File:

PDF, 352 KB

english, 2014

15

Data replication for mobile computers

Huang, Yixiu, Sistla, Prasad, Wolfson, Ouri

Journal:

ACM SIGMOD Record

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

16

Employing symmetry reductions in model checking

A.Prasad Sistla

Journal:

Computer Languages, Systems & Structures

Year:

2004

Language:

english

File:

PDF, 462 KB

english, 2004

17

Parameterized Verification of Linear Networks using Automata as Invariants

A. Prasad Sistla, Viktor Gyuris

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 205 KB

english, 1999

18

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Timely monitoring of partially observable stochastic systems

Sistla, A. Prasad, Žefran, Miloý, Feng, Yao, Ben, Yue

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

19

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1855 || Boolean Satisfiability with Transitivity Constraints

Emerson, E. Allen, Sistla, Aravinda Prasad

Year:

2000

Language:

english

File:

PDF, 192 KB

english, 2000

20

Towards a theory of cost management for digital libraries and electronic commerce

Sistla, A. Prasad, Wolfson, Ouri, Yesha, Yelena, Sloan, Robert

Journal:

ACM Transactions on Database Systems

Year:

1998

Language:

english

File:

PDF, 241 KB

english, 1998

21

Microbial degradation of pyridine using Pseudomonas sp. and isolation of plasmid responsible for degradation

S.Venkata Mohan, Srinivas Sistla, R.Kumar Guru, K.Krishna Prasad, C.Suresh Kumar, S.V. Ramakrishna, P.N. Sarma

Journal:

Waste Management

Year:

2003

Language:

english

File:

PDF, 130 KB

english, 2003

22

[ACM Press the fifth international conference - Rockville, Maryland, United States (1996.11.12-1996.11.16)] Proceedings of the fifth international conference on Information and knowledge management - CIKM '96 - Performance evaluation of G-tree and its application in fuzzy databases

Liu, Chengwen, Ouksel, Aris, Sistla, Prasad, Wu, Jing, Yu, Clement, Rishe, Naphtali

Year:

1996

Language:

english

File:

PDF, 907 KB

english, 1996

23

SMC: a symmetry-based model checker for verification of safety and liveness properties

Sistla, A. Prasad, Gyuris, Viktor, Emerson, E. Allen

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2000

Language:

english

File:

PDF, 213 KB

english, 2000

24

The complementation problem for Büchi automata with applications to temporal logic

A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper

Journal:

Theoretical Computer Science

Year:

1987

Language:

english

File:

PDF, 1.47 MB

english, 1987

25

Diagnostic utility of bronchoalveolar lavage

Radha, Sistla, Ravindra, Nallagonda, Afroz, Tameem, Prasad, Sudheer

Journal:

Journal of Cytology

Year:

2014

Language:

english

File:

PDF, 1.27 MB

english, 2014

26

Continuous nearest-neighbor queries with location uncertainty

Sistla, A. Prasad, Wolfson, Ouri, Xu, Bo

Journal:

The VLDB Journal

Year:

2015

Language:

english

File:

PDF, 1.49 MB

english, 2015

27

[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - TAPS

Bisht, Prithvi, Sistla, A. Prasad, Venkatakrishnan, V. N.

Year:

2010

Language:

english

File:

PDF, 473 KB

english, 2010

28

[ACM Press the Eighth ACM SIGPLAN workshop - Seattle, Washington, USA (2013.06.20-2013.06.20)] Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '13 - WEBLOG

Hinrichs, Timothy L., Rossetti, Daniele, Petronella, Gabriele, Venkatakrishnan, V. N., Sistla, A. Prasad, Zuck, Lenore D.

Year:

2013

Language:

english

File:

PDF, 577 KB

english, 2013

29

[ACM Press the 1995 ACM SIGMOD international conference - San Jose, California, United States (1995.05.22-1995.05.25)] Proceedings of the 1995 ACM SIGMOD international conference on Management of data - SIGMOD '95 - Temporal conditions and integrity constraints in active database systems

Sistla, A. Prasad, Wolfson, Ouri

Year:

1995

Language:

english

File:

PDF, 1.31 MB

english, 1995

30

Nasal application of petrolatum ointment - A silent cause of exogenous lipoid pneumonia: Successfully treated with prednisolone

Kilaru, Hemanth, Prasad, Sudhir, Radha, Sistla, Nallagonda, Ravindra, Kilaru, Satish Chandra, Nandury, Eshwar Chandra

Journal:

Respiratory Medicine Case Reports

Year:

2017

Language:

english

File:

PDF, 1012 KB

english, 2017

31

[IEEE 2019 41st Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) - Berlin, Germany (2019.7.23-2019.7.27)] 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Cuff-less Blood Pressure Measurement Using Supplementary ECG and PPG Features Extracted Through Wavelet Transformation

Singla, Muskan, Sistla, Prasad, Azeemuddin, Syed

Year:

2019

File:

PDF, 615 KB

2019

32

Accurate Fiducial Point Detection Using Haar Wavelet for Beat-by-Beat Blood Pressure Estimation

Singla, Muskan, Azeemuddin, Syed, Sistla, Prasad

Journal:

IEEE Journal of Translational Engineering in Health and Medicine

Year:

2020

File:

PDF, 4.07 MB

2020

33

Deciding full branching time logic

E. Allen Emerson, A. Prasad Sistla

Journal:

Information and Control

Year:

1984

Language:

english

File:

PDF, 1.33 MB

english, 1984

34

[IEEE Comput. Soc. Press 13th International Conference on Data Engineering - Birmingham, UK (7-11 April 1997)] Proceedings 13th International Conference on Data Engineering - Modeling and querying moving objects

Prasad Sistla, A., Wolfson, O., Chamberlain, S., Dao, S.

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

35

[ACM Press the second ACM conference - San Antonio, Texas, USA (2012.02.07-2012.02.09)] Proceedings of the second ACM conference on Data and Application Security and Privacy - CODASKY '12 - SWIPE

Gondi, Kalpana, Bisht, Prithvi, Venkatachari, Praveen, Sistla, A. Prasad, Venkatakrishnan, V. N.

Year:

2012

Language:

english

File:

PDF, 700 KB

english, 2012

36

[ACM Press the eleventh international conference - McLean, Virginia, USA (2002.11.04-2002.11.09)] Proceedings of the eleventh international conference on Information and knowledge management - CIKM '02 - Similarity based retrieval from sequence databases using automata as queries

Sistla, A. Prasad, Hu, Tao, Chowdhry, Vikas

Year:

2002

Language:

english

File:

PDF, 194 KB

english, 2002

37

On model checking for the μ-calculus and its fragments

E.Allen Emerson, Charanjit S. Jutla, A.Prasad Sistla

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 276 KB

english, 2001

38

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Verification of Object Relational Maps

Mehra, Krishna K., Rajamani, Sriram K., Sistla, A. Prasad, Jha, Sumit K.

Year:

2007

Language:

english

File:

PDF, 398 KB

english, 2007

39

Cytotoxic sesquiterpenes from Hedychium spicatum: Isolation, structure elucidation and structure–activity relationship studies

Suresh, G., Poornima, B., Babu, K. Suresh, Yadav, P. Ashok, Rao, M. Suri Appa, Siva, Bandi, Prasad, K. Rajendra, Nayak, V. Lakshma, Ramakrishna, Sistla

Journal:

Year:

2013

Language:

english

File:

PDF, 712 KB

english, 2013

40

Novel Menadione Hybrids: Synthesis, anticancer activity and cell based studies

Prasad, Chakka Vara, Nayak, Vadithe Lakshma, Ramakrishna, Sistla, Mallavadhani, Uppuluri Venkata

Journal:

Chemical Biology & Drug Design

Year:

2017

Language:

english

File:

PDF, 1.59 MB

english, 2017

41

High-Voltage Suicidal Electrocution With Multiple Exit Wounds

Das, Siddhartha, Patra, Ambika Prasad, Shaha, Kusa Kumar, Sistla, Sarath Chandra, Jena, Manoj Kumar

Journal:

American Journal of Forensic Medicine & Pathology

Year:

2013

Language:

english

File:

PDF, 975 KB

english, 2013

42

[ACM Press the 1999 ACM SIGMOD international conference - Philadelphia, Pennsylvania, United States (1999.05.31-1999.06.03)] Proceedings of the 1999 ACM SIGMOD international conference on Management of data - SIGMOD '99 - DOMINO

Wolfson, Ouri, Sistla, Prasad, Xu, Bo, Zhou, Jutai, Chamberlain, Sam

Year:

1999

Language:

english

File:

PDF, 405 KB

english, 1999

43

DOMINO

Wolfson, Ouri, Sistla, Prasad, Xu, Bo, Zhou, Jutai, Chamberlain, Sam

Journal:

ACM SIGMOD Record

Year:

1999

Language:

english

File:

PDF, 405 KB

english, 1999

44

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Exact quantitative probabilistic model checking through rational search

Bauer, Matthew S., Mathur, Umang, Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Year:

2017

Language:

english

File:

PDF, 179 KB

english, 2017

45

On-the-Fly Model Checking Under Fairness that Exploits Symmetry

Viktor Gyuris, A. Prasad Sistla

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 129 KB

english, 1999

46

Evaluating the performance of regional-scale photochemical modeling systems: Part II—ozone predictions

Christian Hogrefe, S.Trivikrama Rao, Prasad Kasibhatla, Winston Hao, Gopal Sistla, Rohit Mathur, John McHenry

Journal:

Atmospheric Environment

Year:

2001

Language:

english

File:

PDF, 637 KB

english, 2001

47

Temporal conditions and integrity constraints in active database systems

Sistla, A. Prasad, Wolfson, Ouri

Journal:

ACM SIGMOD Record

Year:

1995

Language:

english

File:

PDF, 1.31 MB

english, 1995

48

Field-Assisted Sintering/Spark Plasma Sintering of Gadolinium-Doped Ceria with Controlled Re-Oxidation for Crack Prevention

Mishra, Tarini Prasad, Laptev, Alexander M., Ziegner, Mirko, Sistla, Sree Koundinya, Kaletsch, Anke, Broeckmann, Christoph, Guillon, Olivier, Bram, Martin

Journal:

Year:

2020

File:

PDF, 7.20 MB

2020

49

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Verification of randomized security protocols

Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Year:

2017

Language:

english

File:

PDF, 383 KB

english, 2017

50

[IEEE 2020 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society - Montreal, QC, Canada (2020.7.20-2020.7.24)] 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) - Learning-Based Model for Central Blood Pressure Estimation using Feature Extracted from ECG and PPG signals

Singla, Muskan, Azeemuddin, Syed, Sistla, Prasad

Year:

2020

File:

PDF, 1.05 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски